Results for 'Oluwafemi Samson Balogun'

213 found
Order:
  1.  12
    Impact of Weather Predictions on COVID-19 Infection Rate by Using Deep Learning Models.Yogesh Gupta, Ghanshyam Raghuwanshi, Abdullah Ali H. Ahmadini, Utkarsh Sharma, Amit Kumar Mishra, Wali Khan Mashwani, Pinar Goktas, Shokrya S. Alshqaq & Oluwafemi Samson Balogun - 2021 - Complexity 2021:1-11.
    Nowadays, the whole world is facing a pandemic situation in the form of coronavirus diseases. In connection with the spread of COVID-19 confirmed cases and deaths, various researchers have analysed the impact of temperature and humidity on the spread of coronavirus. In this paper, a deep transfer learning-based exhaustive analysis is performed by evaluating the influence of different weather factors, including temperature, sunlight hours, and humidity. To perform all the experiments, two data sets are used: one is taken from Kaggle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Decolonising philosophical analysis: In defence of “ethnolysis”.Babalola Joseph Balogun - 2023 - South African Journal of Philosophy 42 (2):144-159.
    Analysis has always been a core part of humanistic studies. In the domain of philosophical research, where it has assumed a larger-than-life status in the analytic tradition, analysis is a methodological device for conceptual clarification, the unpacking of loaded terms and expressions, and the achievement of overall understanding in every sphere of philosophical discourse. Scholars have expressed doubt about whether reductive analysis is an attractive methodological framework for African philosophy. In a recent article, Balogun raises the need for African (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Metodologicheskie i filosofskie problemy fiziki.Samson Semenovich Kutateladze & Aleksei Trofimovich Moskalenko (eds.) - 1982 - Novosibirsk: Izd-vo "Nauka," Sibirskoe otd-nie.
     
    Export citation  
     
    Bookmark  
  4.  18
    It's not me, it's you: Testing a moderated mediation model of subordinate deviance and abusive supervision through the self‐regulatory perspective.Samson Samwel Shillamkwese, Hussain Tariq, Asfia Obaid, Qingxiong Weng & Thomas Noel Garavan - 2020 - Business Ethics 29 (1):227-243.
    Synthesizing self‐regulatory theories, we provide new insights into the antecedents of abusive supervision. We, from the perspective of supervisor's self‐regulatory resources depletion or impairment, introduce supervisor hindrance stress as an underlying mechanism of the subordinate deviance–abusive supervision relationship: this mediated relationship will be intensified at the level of high subordinate job performance. In addition, we develop a complex contingency model and propose a three‐way interaction (i.e., subordinate deviance, job performance, supervisor outcome dependence) to obtain the complete understanding of the subordinate (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
    We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  6.  61
    Rethinking the Tasks of African Philosophy in the 21st Century.Oladele Abiodun Balogun - 2008 - Proceedings of the Xxii World Congress of Philosophy 28:45-54.
    The flurry of debate that trailed the existence of African philosophy in the 1960s and 70s and the consequent demise of the controversies in the late 1990s have occasioned a periodiszation shift from traditional African philosophy to contemporary African philosophy. While the scope and nature of predominant issues inthese periods differ considerably, what ought to constitute the basis and shape the direction of discourse in contemporary African philosophy remain controversial. In this regard, this paper argues that rethinking African philosophy should (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. What ought we do to bring back environmental integrity.Samson Eliudi Kyejo & Shamima Lasker - 2022 - Bangladesh Journal of Bioethics 13 (1):55-60.
    The civilization of the world has become a threat and distorted environmental integrity in the 20th century. Therefore, environmental ethics is currently getting important in academic considerations. Various public and private institutions such as universities and research centers output throughout the world are now paying attention and seriousness to the environment. This paper focuses on what mankind ought to do regarding the cross-cuttingness of environmental problems.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Relational Hidden Variables and Non-Locality.Samson Abramsky - 2013 - Studia Logica 101 (2):411-452.
    We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  32
    Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.
    Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and logics . Moreover, the underlying (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  10.  8
    Rethinking the aptness of the analytic method in African philosophy in the light of Hallen and Sodipo’s knowledge-belief distinction.Babalola Joseph Balogun - 2021 - South African Journal of Philosophy 40 (3):290-303.
    An instance of the use of a version of the analytic method known as the “ordinary-language approach” in African philosophy is characterised by a systematic examination (for the purpose of clarity) of philosophically significant concepts in an African language as used in ordinary discourse contexts among a local linguistic community. Central to this approach is the idea that the meaning of concepts depends on the ways ordinary people use them, and that this may form the basis of a philosophy. This (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   9 citations  
  12. Authentic Motherhood: Traditional Yoruba-African Perspective.Abiodun Balogun - 2013 - Philosophia 41 (2).
    The paper discusses the notion of authentic motherhood within the frame work of the traditional Yoruba-African society. It argues that an authentic mother, according to the traditional Yoruba-African understanding, is one who performs all her responsibilities as stipulated by the norms and precepts of society. It also points out that the responsibilities of an authentic mother are holistic in nature and when wholesomely fulfilled, have prudential, egoistic, and utilitarian justifications. The paper further provides a philosophical comparison of motherhood in Yoruba-African (...)
     
    Export citation  
     
    Bookmark  
  13.  12
    Between theory and praxis: reply to Thaddeus Metz.Oladele Abiodun Balogun - 2019 - Filosofia Theoretica: Journal of African Philosophy, Culture and Religions 8 (2):19-26.
    In a Guest Lecture delivered by Professor Thaddeus Metz at a Colloquium organized in honour of my 50th birthday, he critically interrogated various aspects of my African philosophical scholarship with a particular focus on what I consider as the task of an African philosopher in the twenty-first century. Drawing on the existential and social problems in contemporary Africa, I have argued that African philosophy should be tailored towards ameliorating these problems as a way of making life meaningful. Metz’s striking criticism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. In Defense of the “Living-Dead” in Traditional African Thought: The Yoruba Example.Oladele Balogun - 2010 - Philosophia 38 (1).
    The paper attempts to provide a philosophical justification for the belief in the living-dead among the traditional Africans using the Yoruba as an example. It argues that in spite of the various criticisms leveled against the belief in the living-dead among the traditional Africans, this belief can be rationally defended and philosophically understood within the conceptual scheme of the traditional Yoruba thought. The paper argues that the link between the living and the livingdead possesses social as well as moral functions. (...)
     
    Export citation  
     
    Bookmark  
  15.  51
    Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
    We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  13
    Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  13
    Axiomatizing AECs and applications.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (5):103248.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  12
    Hanf number of the first stability cardinal in AECs.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (2):103201.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  39
    Socially responsive, environmentally friendly logic.Samson Abramsky - 2006 - Acta Philosophica Fennica 78:17.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  2
    An introduction to Nigeria's philosophy of early childhood education.Samson Oladiran Davis - 1998 - Aboekuta, Nigeria: Goal Educational. Edited by Abayomi Adejobi.
  21.  90
    Logical Bell Inequalities.Samson Abramsky & Lucien Hardy - 2012 - Physical Review A 85:062114-1 - 062114-11.
    Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Big Brother Ltd.Darren Botello-Samson & Kayce Mobley - 2018 - In Ezio Di Nucci & Stefan Storrie (eds.), 1984 and philosophy, is resistance futile? Chicago: Open Court.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  13
    How urban ‘informality’ can inform response to COVID-19: a research agenda for the future.Samson Kinyanjui Muchina, Moses Madadi Obimbo, Israel Nyaburi Nyadera & Francis Onditi - 2021 - History and Philosophy of the Life Sciences 43 (1):1-5.
    In the era of increasingly defined ontological insecurity and uncertainty driven by the ravages of COVID-19, urban informal settlement has emerged as a source of resilience. Indeed, the effects of a pandemic transcends its epidemiological characteristics to political economy and societal resilience. If resilience is the capacity of a system to adapt successfully to significant challenges that threaten the function or development of the human society, then ontological insecurity is about the lack of such capacity. Drawing on Keith Hartian’s understanding (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  16
    The traditional Yorùbá conception of a meaningful life.Oladele Abiodun Balogun - 2020 - South African Journal of Philosophy 39 (2):166-178.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  32
    Whatever happened to STS? Pre-service physics teachers and the history of quantum mechanics.Samson Nashon, Wendy Nielsen & Stephen Petrina - 2008 - Science & Education 17 (4):387-401.
  26.  51
    Modelling geographical variations and determinants of use of modern family planning methods among women of reproductive age in nigeria.Samson B. Adebayo, Ezra Gayawan, Chinazo Ujuju & Augustine Ankomah - 2013 - Journal of Biosocial Science 45 (1):57-77.
  27.  15
    Foreword.Samson Abramsky & Dan R. Ghica - 2013 - Annals of Pure and Applied Logic 164 (11):1037.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  10
    Interactions Between Socioeconomic Status and Mental Health Outcomes in the Nigerian Context Amid COVID-19 Pandemic: A Comparative Study.Samson F. Agberotimi, Olusola S. Akinsola, Rotimi Oguntayo & Abayomi O. Olaseni - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Authentic Fatherhood.Abiodun Oladele Balogun - 2010-09-24 - In Fritz Allhoff, Lon S. Nease & Michael W. Austin (eds.), Fatherhood ‐ Philosophy for Everyone. Wiley‐Blackwell. pp. 121–129.
    This chapter contains sections titled: Authentic Fatherhood in Traditional Yoruba Thought Yoruba Proverbs and Folktales Yoruba Lessons for Contemporary Fathers Conclusion: An Intercultural Understanding of Fatherhood Notes.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  42
    A Philosophical Comparison of the Educational Thoughts of Obafemi Awolowo and Tai Solarin.Oladele Abiodun Balogun - 2009 - Thought and Practice: A Journal of the Philosophical Association of Kenya 1 (2):61-72.
    This paper compares the educational thoughts of Obafemi Awolowo and Tai Solarin. Its methodology is critical and comparative. The paper argues that the variations of the political philosophies of the two thinkers account for the differences in their views on education. It further contends that the educational ideas of both thinkers reflect African cultural experiences. The paper also explores the possibility of integrating the insights of the two thinkers into the educational policies and practices of contemporary African societies.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  60
    Proverbial Oppression of Women in Yoruba African Culture: A Philosophical Overview.Oladele Abiodun Balogun - 2010 - Thought and Practice: A Journal of the Philosophical Association of Kenya 2 (1):21-36.
    This paper posits that there are elements of oppression in some of the Yoruba proverbs that relate to women. It argues that these proverbs violate the rights and dignity of women, and that they are indicators of discrimination against women in Yoruba culture. The paper further argues that the most fundamental but neglected aspect in gender discourse lies in the proverbial resources of the community. The paper provides textual evidence of proverbial oppression of the feminine gender in Yoruba culture, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  15
    Resolving the Conceptual Problem of Other Minds through the Identity-Based Model.Babalola Joseph Balogun - 2022 - Forum Philosophicum: International Journal for Philosophy 27 (1):27-49.
    Christopher Peacocke’s Interlocking Account offers an example of the identity-based strategy for resolving the conceptual problem of other minds. According to the Identity Model, the sameness of meaning of a mental concept across inter-subjective domains is guaranteed by the sameness of the mental states to which the concept refers. Hence, for example, the meaning of the concept “pain” is fixed by the sameness of the sensation of pain to which the concept refers across inter-subjective fields. As an instance of this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  23
    Modelling compliance risk: a structured approach.Samson Esayas & Tobias Mahler - 2015 - Artificial Intelligence and Law 23 (3):271-300.
    This article presents a structured and systematic approach for identifying and modelling compliance risks. The sophistication with which modern business is carried out and the unprecedented access to a global market means that businesses are exposed to increasing and diverse regulatory requirements in and across jurisdictions. Compliance with such requirements is practically challenging, partly due to the complexity of regulatory environments. One possibility in this regard is a risk-based approach to compliance, where resources are allocated to those compliance issues that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  9
    Torah dynamics: Pirkei Avot looks at life.Samson Krupnick - 1991 - Spring Valley, NY: Feldheim. Edited by Morris Mandel.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  10
    Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.Funmilola Balogun & Benedikt Löwe - forthcoming - Studia Logica:1-20.
    We consider all combinatorially possible systems corresponding to subsets of finite set theory (i.e., Zermelo-Fraenkel set theory without the axiom of infinity) and for each of them either provide a well-founded locally finite graph that is a model of that theory or show that this is impossible. To that end, we develop the technique of axiom closure of graphs.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    Philosophy: What Social Relevance?Oladele Abiodun Balogun - 2008 - Philosophia Africana 11 (2):103-116.
  37.  36
    A Modified Binary Pigeon-Inspired Algorithm for Solving the Multi-dimensional Knapsack Problem.Obinna Damian Adubisi, Babatunde Sulaiman Balogun, Peter Bamidele Shola, Friday Zinzendoff Okwonu & Asaju La’aro Bolaji - 2020 - Journal of Intelligent Systems 30 (1):90-103.
    The pigeon-inspired optimization algorithm is a category of a newly proposed swarm intelligence-based algorithm that belongs to the population-based solution technique. The MKP is a class of complex optimization problems that have many practical applications in the fields of engineering and sciences. Due to the practical applications of MKP, numerous algorithmic-based methods like local search and population-based search algorithms have been proposed to solve the MKP in the past few decades. This paper proposes a modified binary pigeon-inspired optimization algorithm named (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  15
    Cultural and Cosmopolitan: Idealized Femininity and Embodied Nationalism in Nigerian Beauty Pageants.Oluwakemi M. Balogun - 2012 - Gender and Society 26 (3):357-381.
    This article uses a comparative-case research design of two different national beauty pageants in Nigeria to ask how and why gendered nationalisms are constructed for different audiences and aims. Both contests claim to represent “true Nigerian womanhood” yet craft separate models of idealized femininity and present different nationalist agendas. I argue that these differences stem from two distinct representations of gendered national identities. The first pageant, “Queen Nigeria,” whose winners do not compete outside of Nigeria, brands itself as a Nigerian-based (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  43
    The Politics of Widowhood and Re-Marriage among the Luo of Kenya.Samson O. Gunga - 2009 - Thought and Practice: A Journal of the Philosophical Association of Kenya 1 (1):165-178.
    This study utilises philosophical deliberation to analyse the psycho-social and emotional conflicts that arise out of widowhood practices in the Luo community ofKenya. Towards this end, it explores the attendant effects of Luo widowhood practices on family, power and gender relations, and suggests resolutions to thechallenges they generate.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  10
    Attention Deficit: Alienation in Platform Capitalism.Samson Liberman - forthcoming - Symposion. Theoretical and Applied Inquiries in Philosophy and Social Sciences.
    Samson Liberman ABSTRACT: The aim of this paper is a socio-philosophical analysis of attention deficit phenomenon, which is being detected at the intersection of several subject areas. The main methodological instrument of the study is a Marxist principle of alienation. Alienation of attention, which, on the one hand, is being ….
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  11
    Stability Results Assuming Tameness, Monster Model, and Continuity of Nonsplitting.Samson Leung - 2024 - Journal of Symbolic Logic 89 (1):383-425.
    Assuming the existence of a monster model, tameness, and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>\operatorname {LS}(\mathbf {K})$ be a regular stability cardinal and let $\chi $ be the local character of $\mu $ -nonsplitting. The following holds: 1.When $\mu $ -nonforking is restricted to $(\mu,\geq \chi )$ -limit models ordered by universal extensions, it enjoys invariance, monotonicity, uniqueness, existence, extension, and continuity. It also has local character $\chi $. This generalizes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  32
    Socialism as Dystopia: Political Uses of Utopian Dime Novels In Pre-World War I Germany.Samson B. Knoll - 1991 - Utopian Studies 4:35-41.
  43.  18
    Logical Journeys: A Scientific Autobiography.Samson Abramsky - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 1-38.
    A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics, categorical quantum mechanics, the sheaf-theoretic approach to contextuality, and game comonads and a structural view of resources and descriptive complexity.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  12
    Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures.Samson Abramsky, DovM Gabbay & Thomas S. E. Maibaum (eds.) - 1992 - Oxford, England: Clarendon Press.
    This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Logic and Categories as Tools for Building Theories.Samson Abramsky - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    Bookmark   1 citation  
  46.  12
    National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999.Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  91
    The Prospects for E‐Learning Revolution in Education: A philosophical analysis.Samson O. Gunga & Ian W. Ricketts - 2008 - Educational Philosophy and Theory 40 (2):294–314.
    If I lose my key in Canada, for instance, and I search for it in the United Kingdom, how long will I take to find it? This paper argues that problems in education are caused by non-professional teachers who are employed when trained teachers move in search of promotion friendly activities or financially rewarding duties. This shift of focus means that policy makers in education act without adequate professional guidance. The problems in education, therefore, result from demands made on mainstream (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  20
    An African Perspective on the Nature of Mind: Reflections on Yoruba Contextual Dualism.Babalola Joseph Balogun & Richard Taye Oyelakin - 2022 - Culture and Dialogue 10 (2):102-128.
    The problem of the nature of mind has lingered for a long time. Generated by the question of whether the mind is an independently existing entity or merely an aspect of bodily events and processes, the problem of the nature of mind has divided Western philosophers into two opposing camps, namely dualism and physicalism. Contemporary discourse of the nature of minds, within the Western philosophical tradition, continues to privilege physicalism over dualism, because it avoids the theoretical impasse engendered by the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  33
    The Consequentialist Foundations of Traditional Yoruba Ethics: an Exposition.Babalola Joseph Balogun - 2013 - Thought and Practice: A Journal of the Philosophical Association of Kenya 5 (2):103-121.
    Several treatises have been written on the foundations of African moral systems. A significant number of them favours the claim that these systems are founded on religion, with the latter providing a justification for the former. Others have taken a contrary position, denying the supposed necessary causal connection between religion and African moral systems. This paper neither seeks to support nor rebut any of the foundations proposed, but rather to argue for the thesis that from whichever perspective it is viewed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  24
    A game semantics for generic polymorphism.Samson Abramsky & Radha Jagadeesan - 2005 - Annals of Pure and Applied Logic 133 (1-3):3-37.
    Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the structure of their instances by the following equational principle: if two generic programs, viewed as terms of type , are equal at any given instance A[T], then they are equal at all instances. They proved that this rule is admissible in a certain extension of System F, but finding a semantically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 213